Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
251	DOC Document Add to Reading List Source URL: cob.jmu.edu Language: English - Date: 2008-03-25 23:53:18 Applied mathematics Theory of computation Systems Complex systems theory Cybernetics Computable function Church–Turing thesis Complexity Hypercyclic morphogenesis Theoretical computer science Science Computability theory
252	work (5). A contact network is a directed graph with a single special source s and a single special sink t. Each edge is labeled with either x or 2, where x is some variahle. Given any assignment of values to the variabl Add to Reading List Source URL: binds.cs.umass.edu Language: English - Date: 2014-12-01 15:40:28 Computability theory Turing machine Alan Turing Models of computation Hypercomputation Computability Computational complexity theory Church–Turing thesis Hava Siegelmann Theoretical computer science Computer science Theory of computation
253	A New-Millenium Attack on the Busy Beaver Problem∗ Kyle Ross, Owen Kellett, Bram van Heuveln, Selmer Bringsjord Rensselaer AI & Reasoning (RAIR) Lab Department of Cognitive Science Department of Computer Sciencee Renss Add to Reading List Source URL: www.cogsci.rpi.edu Language: English - Date: 2006-06-19 14:20:06 Turing machine Computer science Models of computation Busy beaver Computability Halting problem Algorithm Finite-state machine Description number Theory of computation Computability theory Theoretical computer science
254	A Verification Toolkit for Numerical Transition Systems Tool Paper⋆ Hossein Hojjat1 , Filip Koneˇcn´y2,4, Florent Garnier2 , Radu Iosif2 , Viktor Kuncak1, and Philipp R¨ummer3 1 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-06-11 13:15:35 Logic in computer science Model theory Presburger arithmetic Proof theory Data types Computability theory Oz Abstract interpretation Peano axioms Mathematical logic Mathematics Theoretical computer science
255	CONSTRUCTIVIST LOGIC AND EMERGENT EVOLUTION IN ECONOMIC COMPLEXITY J. Barkley Rosser, Jr. James Madison University Add to Reading List Source URL: cob.jmu.edu Language: English - Date: 2008-05-12 20:05:00 Theoretical computer science Mathematics Systems Complex systems theory J. Barkley Rosser Jr. Computable function Mathematical logic Complexity General equilibrium theory Computability theory Applied mathematics Theory of computation
256	DOC Document Add to Reading List Source URL: cob.jmu.edu Language: English - Date: 2007-12-14 11:41:15 Computability theory Theory of computation Turing machine Alan Turing Universal Turing machine Halting problem Computability Computable number Algorithm Theoretical computer science Applied mathematics Mathematics
257	MUTUAL COOPERATION AND UNILATERAL ALTRUISM IN A ONE-SHOT PRISONER’S DILEMMA - A COMPUTABILITY APPROACH MIKIO NAKAYAMA Abstract. We consider the one-shot Prisoner’s Dilemma played by programs or machines, and show tha Add to Reading List Source URL: ies.keio.ac.jp Language: English - Date: 2015-05-07 04:10:57 Theory of computation Theoretical computer science Functions and mappings Function Computable function Equivalence relation Recursion Primitive recursive function Μ operator Mathematics Computability theory Mathematical logic
258	Lecture on undecidability July 27, 2011 inofficial script based on a lecture by Michael M. Wolf (TU München) Add to Reading List Source URL: problem24.files.wordpress.com Language: English - Date: 2011-07-27 08:48:45 Computer science Computable function Halting problem Church–Turing thesis Turing machine Algorithm Busy beaver Computability Entscheidungsproblem Computability theory Theoretical computer science Theory of computation
259	DOC Document Add to Reading List Source URL: cob.jmu.edu Language: English - Date: 2007-12-14 11:41:07 Applied mathematics Theory of computation Systems Complex systems theory Cybernetics Computable function Church–Turing thesis Complexity Hypercyclic morphogenesis Theoretical computer science Science Computability theory
260	EUROPEAN PATENT OFFICE U.S. PATENT AND TRADEMARK OFFICE CPC NOTICE OF CHANGES 77 DATE: MAY 1, 2015 PROJECT MP0118 Add to Reading List Source URL: www.cooperativepatentclassification.org Language: English - Date: 2015-04-07 10:41:01 Lathe Machine tool Turing machine Technology Woodworking Computability theory

UPDATE